4

4. Окружность

Построим в H2 неевклидову окружность с заданными центром A и неевклидовым радиусом AB.

Обозначим через A' точку, симметричную A относительно оси x в смысле евклидовой геометрии, а через Sевклидову окружность с центром A' и радиусом AA' (см. рисунок ниже).

рис. 10

Инверсия f относительно окружности S переводит H2 в открытый круг с границей x', где x' = f(x)окружность с центром в A и радиусом AA'. Неевклидовы прямые, проходящие через A (tодна из таких прямых, t' = f(t)), переводятся инверсией f в евклидовы диаметры окружности x'. Обозначим через w' евклидову окружность с центром в A и радиусом AB', B' = f(B). В силу конформности инверсии окружность w = f(w') ортогональна к неевклидовым прямым, проходящим через A. Точка A является неевклидовым центром для w, евклидов же центр E для w совпадает с точкой пересечения евклидовых серединных перпендикуляров евклидовых отрезков BC и CD, где C и Dточки пересечения окружностей w' и S.

Таким образом, искомая неевклидова окружность w в H2 построена, она изображается, как показано, евклидовой окружностью в H2, но, с точки зрения евклидовой геометрии, ее неевклидов центр оказывается смещенным к оси x.

Hosted by uCoz
Назад Вперед